オリジナルの凝縮数学では、あらゆる位相空間を「すべてのプロ有限集合 (profinite sets)」の圏にマッピングして扱っていた。しかし、この枠組みではグロタンディーク宇宙や到達不能基数などの強大な集合論の公理を仮定する必要があり、基礎づけが重すぎるという問題があった。そこでClausenとScholzeが導入したのが Light凝縮数学 (Light Condensed Mathematics) である。
実数 $\mathbb{R}$ や Lebesgue空間 $L^{p}$ 、通常のBanach空間などはすべて可算個のデータから位相が決定される（可分である）。したがって、非可算サイズの巨大なプロ有限集合をテストする必要はなく、カントール集合のような「Lightな」空間を用いるだけで関数の位相や収束の情報を完全に捕捉できる。これにより、巨大基数を一切使わずに標準的なZFC集合論の範囲内で理論を構築可能となる。
$p=1$ のときは通常のノルムとBanach空間の定義に一致する。しかし、 $0 < p < 1$ の場合、三角不等式が $p$ 乗の形で与えられるため、単位球 $B = \{x \in V \mid \|x\| \le 1\}$ は凸集合にはならない。この「非凸性」こそが、のちに述べる Liquid Tensor Experiment において、巨大な空間のテンソル積やExt群の計算を収束させるための「ノルムの急速な減衰」を生み出す源泉となる。
Liquid理論は、テスト空間 $S$ 上の $p$-測度の空間を用いて展開される。
この定義は、0次の条件 $\mathrm{Hom}(\mathcal{M}_{p}(S), V) = V(S)$ （完全な完備性）と、高次の条件 $\mathrm{Ext}^{i}(\mathcal{M}_{p}(S), V) = 0$ （ $i > 0$ ）（ホモロジー的障害の消滅）を同時に要求している。Light凝縮数学においては、 $S$ がカントール集合である場合だけ $\mathrm{Ext}$ が消滅すればよいという条件に緩和される。
Light凝縮数学の枠組みは、実数上のLiquid理論だけでなく、 $p$ 進数や整数環上の Solid理論 においても極めて有効に機能する。
位相的トポスにおいてホモロジー代数を展開し、 $\mathrm{Ext}$ 群を消滅させるためには、対象である $\mathcal{M}(X)$ をテスト空間 $\mathbb{N}_{\infty}$ から生成される射影的対象で完全に覆い尽くす、すなわち結合全射 (joint surjection) を構成しなければならない。
閉区間 $X = [0, 1]$ は Sequential空間であるため、位相空間論としては、適当な添字集合 $I$ を用いて $\mathbb{N}_{\infty}$ の余極限 (colimit) から $X$ への連続な全射 $p \colon \coprod_{i \in I} \mathbb{N}_{\infty} \twoheadrightarrow X$ が存在する。これを測度の関手 $\mathcal{M}$ で引き上げる写像 $\mathcal{M}(p) \colon \mathcal{M}(\coprod_{i \in I} \mathbb{N}_{\infty}) \to \mathcal{M}(X)$ を考える。
空間 $\mathbb{N}_{\infty}$ は可算集合である。可算集合上の任意の測度は、各点におけるDirac測度の無限和、すなわち純粋なアトミック (atomic) な測度として表される。アトミックな測度を連続写像 $p$ で前押し (pushforward) しても、その像 $p_{*}(\mu)$ は依然として $X$ 上のアトミックな測度である。
しかし、空間 $X = [0, 1]$ 上の測度の空間 $\mathcal{M}(X)$ には、アトミックな部分を一切持たない連続的な Lebesgue測度 $\lambda$ が存在する。したがって、 $\lambda \notin \mathrm{Im}(\mathcal{M}(p))$ であり、写像 $\mathcal{M}(p)$ は全射にならない。
全射にならないため、商空間（余核） $C = \mathcal{M}(X) \smallsetminus \mathrm{Im}(\mathcal{M}(p))$ は $\varnothing$ ではなく、非自明な空間として残る。この余核 $C$ がホモロジー代数における障害クラス (cocycle) となり、射影分解を用いた複体の計算において高次コホモロジー群に非自明な元を生み出す。したがって、 $\mathrm{Ext}^{1}_{\mathrm{TopTopos}}(\mathcal{M}(\mathbb{N}_{\infty}), \mathcal{M}(X)) \neq 0$ である。証明終。
カントール集合 (Cantor set) $C$ の場合、完全非連結でありながら非可算集合であるため、カントール分布などの連続的な測度を持てる。さらに Alexandroff の定理により、任意のコンパクト距離空間 $X$ への連続な全射 $C \twoheadrightarrow X$ が存在する。これによりLebesgue測度を完全に被覆でき、 $\mathrm{Ext} = 0$ が達成される。これが Light凝縮数学がカントール集合をテスト空間に選んだ決定的な理由である。
Liquid理論が機能するための最大の鍵は、ある非凸な空間の測度がホモロジー的障害を持たないことを示す以下の定理である。この定理の複雑な不等式評価は、Leanを用いた計算機支援証明によって完全に検証された。
ホモロジー代数において $\mathrm{Ext}^{i}$ が消滅することを示すためには、対象 $\mathcal{M}_{p'}(S)$ の射影分解から誘導されるチェイン複体 $C^{\bullet}$ において、恒等写像 $\mathrm{id}$ と境界作用素 $d$ を結ぶ縮小ホモトピー (contracting homotopy) $h$ を具体的に構成し、 $\mathrm{id} = dh + hd$ を満たすことを示せばよい。
まず、対象を代数的に分解するために、Breen-Deligne分解 (Breen-Deligne resolution) を導入する。これは任意のアーベル群を自由アーベル群の直和のみでホモロジー的に完全に分解する関手的な手法である。これを $\mathcal{M}_{p'}(S)$ に対して適用し、凝縮ベクトル空間上の解析的な複体 $C^{\bullet}$ に引き上げる。
次に、この複体上でホモトピー $h_{n} \colon C^{n} \to C^{n-1}$ を構成する。Breen-Deligne分解から生じる写像の性質上、 $h_{n}$ は無限個の項の和として定義される。ここで $p=1$ の古典的なBanach空間の場合、各項の作用素ノルムが指数関数的に爆発し、無限和 $\sum h_{n}$ が発散するためホモトピーが構成できない。
しかし、 $0 < p' < p \le 1$ の条件がある場合、空間の非凸性の差を利用できる。 $\mathcal{M}_{p'}(S)$ の元を $\mathcal{M}_{p}(S)$ の中で測ると、 $p'$ と $p$ の冪乗の差により、成分が分割されるごとにノルムが強制的に指数関数的に減衰する。このノルムの減衰効果 (decay) が Breen-Deligne分解からのノルム爆発を完全に相殺して上回るため、ホモトピー $h$ を構成する無限級数が絶対収束し、 well-defined な有界線形作用素として定まる。これにより複体は完全となり、すべての $i > 0$ に対して $\mathrm{Ext}^{i} = 0$ となる。証明終。
この定理は、Liquidベクトル空間の理論において「理論が破綻しないことを保証するための絶対的なライセンス」として以下の場面で使われる。
古典的な関数解析において、テスト関数の空間 $\mathcal{D}(\mathbb{R})$ （コンパクト台を持つ滑らかな関数の空間）は、厳密帰納極限 (strict inductive limit) として構成されるLF空間という極めて厄介な位相を持っていた。しかしLiquid理論においては、これが位相的な破綻を起こさない純粋に代数的な直極限 (colimit) として完全に安全に定義され、超関数の空間 $\mathcal{D}'(\mathbb{R})$ とのテンソル積やホモロジー計算も自由に行える。さらに $\mathcal{D}(\mathbb{R})$ は、最も計算しやすい特権的なクラスである「核型 Liquid ベクトル空間」となる。
代数学において、余極限的であるテンソル積 $\otimes$ と、極限的である無限直積 $\prod$ は通常交換しない。この二つが交換するということは、無限次元空間でありながら代数的には有限次元ベクトル空間と全く同じように振る舞う極めて性質の良い空間であることを意味する。Grothendieckによる古典的な定義では「トレースクラス作用素」や「固有値の減衰」といった解析学の言葉が用いられたが、ClausenとScholzeは、この解析的条件と「テンソル積と無限直積が交換する」という代数的条件が100%完全に等価になることを証明した。
この代数的な核型の定義は、実数だけでなく整数環や $p$ 進数の世界 (Solid) でも全く同じ形で機能する。
非アルキメデス的な世界には「微分」や「距離」の概念が存在しないため、Grothendieckの手法では核型空間を定義することが不可能であった。しかし、この代数的な定義を採用することで、実数（アルキメデス的）の世界と $p$ 進（非アルキメデス的）の世界の関数解析が、同一のホモロジー代数（圏論的ソフトウェア）上で走る互換性のある対象として完全に統一されたのである。
Light凝縮数学がオリジナルの理論から「計算の複雑さ」と「集合論の不安」をどのように削ぎ落としたかを示す。
| 項目 | オリジナルの凝縮数学 | Light凝縮数学 | 単純化の実益 |
|---|---|---|---|
| テスト空間 | すべてのプロ有限集合 | カントール集合など可算生成のみ | 取り扱う空間のサイズが直観的な範囲に収まる |
| 集合論の前提 | グロタンディーク宇宙（到達不能基数） | 標準的なZFC集合論のみ | マニアックな基礎論の仮定を完全に排除できた |
| Solid化の計算 | 抽象的で複雑な導来完備化 | 古典的な逆極限と完全に一致 | 岩澤代数などの既存の数論的ツールがそのまま使える |
| Liquidの定義 | 無数のプロ有限空間で $\mathrm{Ext}=0$ を確認 | カントール集合上で $\mathrm{Ext}=0$ ならOK | 空間がリキッドであることの証明が劇的にスリム化 |
| 連続測度の扱い | 巨大空間上の測度まで考慮 | カントール分布などの標準的な測度で十分 | 測度論のアトミックと連続の壁を最小労力で突破 |